A Visual Simulation Environment Based on Extended Predicate Transition Nets
نویسندگان
چکیده
In this paper the interactive visual simulation environment SEA is presented. SEA supports the embedding of several existing languages that are in use for the speci-cation of heterogeneous systems in diierent application domains (e. g. SDL, data ow graphs, diierential equations). Furthermore, freely deened graphical elements like pictograms can be incorporated. This feature allows system designers to specify system models that resemble real systems in their graphical representation and their interaction facilities. For the simulation of such abstract graphical system representations an unambiguous, formal speciication of their behaviour is of crucial importance. SEA provides extended Predicate Transition Nets (Pr/T Net) for this purpose. The extended Pr/T Net is closely linked to the abstract graphical representation. Hence, SEA allows to visualize state changes during the simulation of the underlying Pr/T Net also in the abstract graphical system representation.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملOn Petri Nets and Predicate-Transition Nets
Petri nets are used to study many types of networked systems. [1] have designed a software tool for analysis and simulation of Petri nets. We extend this tool to handle a form of Petri net known as Predicate Transition (PrT) nets. We implement mechanisms that automate the process of folding a Petri net to a PrT net and finding invariants. We can compute invariants for systems that use either Pe...
متن کاملSimulation of hybrid mechatronic systems: a case study
Hybrid Mechatronic Systems consisting of continuous and discrete system parts put special requirements on the specification and simulation techniques. Within this paper the electric windows of a car are used as a case study to evaluate our ideas in this area. For the specification of the continuous part (e.g. the motor) a description in DSL [8] or a block diagram is used, whereas the discrete p...
متن کاملA Formal Definition of Hierarchical Predicate Transition Nets
Hierarchical predicate transition nets have recently been introduced as a visual formalism for specifying complex reactive systems. They extend predicate transition nets with hierarchical structures so that large systems can be specified and understood stepwisely, and thus are more suitable for real-world applications. In this paper, we provide a formal syntax and an algebraic semantics for hie...
متن کامل